java -cp lib/log4j.jar:out:resourcescp wmh.satsolver.SatSolver $1 $2
